$\forall$$i$, $j$, $k$:$\mathbb{Z}$. ($i$ $\leq$ $j$) $\Rightarrow$ ($j$ $<$ $k$) $\Rightarrow$ ($i$ $<$ $k$)